↑ Ký hiệu C p ∞ {\displaystyle \mathbf {C} _{p^{\infty }}} được sử dụng trong Calais 1984Lỗi harv: không có mục tiêu: CITEREFCalais1984 (trợ giúp). Trong S. Lang, Algèbre, Paris, Dunod, 2004, tr. 53, ký hiệu μ [ p ∞ ] {\displaystyle \mathbf {\mu [p^{\infty }]} } được sử dụng.
↑ xem chứng minh trong Calais 1984Lỗi harv: không có mục tiêu: CITEREFCalais1984 (trợ giúp)
↑ xem chứng minh trong B. Baumslag và B. Chandler, Group Theory, Mc-Graw Hill, 1968, định lý 6.31, tr. 206.
Bài viết này vẫn còn sơ khai. Bạn có thể giúp Wikipedia mở rộng nội dung để bài được hoàn chỉnh hơn.